Software bugs - PDFSEARCH.IO - Document Search Engine

Software bugs
Results: 1223

#	Item
501	CompCert Formally Verified Optimizing C Compiler CompCert is an optimizing C compiler which is formally verified, using machine-assisted mathematical proofs, to guarantee the absence of compiler bugs. The code it produce Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-03-16 07:37:07 Functional languages Programming language implementation Compcert Logic in computer science Xavier Leroy Compiler GNU Compiler Collection Software Computing Compilers
502	Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs {livshits, lam}@cs.stanford.edu Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-04-22 04:27:24 Software bugs Static program analysis Software testing Pointer C Security bug Shape analysis Vulnerability Computing Software engineering Computer programming
503	Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software James Newsome [removed] Carnegie Mellon University Abstract Add to Reading List Source URL: www.valgrind.org Language: English - Date: 2006-08-12 00:33:35 Cyberwarfare Stack buffer overflow Buffer overflow Uncontrolled format string Vulnerability Valgrind C Malware Pointer Computing Software bugs Software engineering
504	Automatically Patching Errors in Deployed Software Jeff H. Perkinsα , Sunghun Kimβ , Sam Larsenγ , Saman Amarasingheα , Jonathan Bachrachα , Michael Carbinα , Carlos Pachecoδ , Frank Sherwood, Stelios Sidiroglouα Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-08-05 10:48:36 Software bugs Daikon Buffer overflow Invariant Exception handling Control flow Stack buffer overflow Call stack C dynamic memory allocation Computing Software engineering Computer programming
505	Astrée Verifying the Absence of Runtime Errors in C Programs Astrée is a parametric static analyzer designed to prove the absence of runtime errors in software programs written in C. Astrée is parameterizable and can Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-11-14 06:34:31 Computer programming Primitive types Abstract interpretation Astrée Software bugs Uninitialized variable C Error Floating point Software engineering Computing Data types
506	Converting OpenBSD to PIE Pascal Stumpf AsiaBSDCon 2015, March 15, Tokyo Pascal Stumpf: Converting OpenBSD to PIE Add to Reading List Source URL: www.openbsd.org Language: English - Date: 2015-03-15 03:31:17 Embedded operating systems Cross-platform software Procedural programming languages OpenBSD Software bugs Address space layout randomization Buffer overflow protection C dynamic memory allocation Pascal Computing Software Computer programming
507	VIRUS BULLETIN www.virusbtn.com VIRUS ANALYSIS 3 BLAST OFF! Peter Ferrie, Frédéric Perriot, Péter Ször Symantec Security Response, USA Add to Reading List Source URL: pferrie.host22.com Language: English - Date: 2011-09-27 16:13:20 Computer worms Software bugs Microsoft Windows Blaster Windows XP SQL Slammer Windows Stack buffer overflow Buffer overflow System software Software Computing
508	= Very effective* = Effective* = Not effective N/A = not applicable if well implemented Can Catch Buffer Add to Reading List Source URL: nsfsecurity.pr.erau.edu Language: English* - Date: 2002-07-06 21:19:53 Computer security Buffer overflow Stack buffer overflow Vulnerability Buffer overflow protection Heap overflow Software bugs Software quality Computing
509	COLDFUSION 11 UPDATE 5 ISSUES FIXED indicates bugs fixed in the refreshed build Bug ID Title Add to Reading List Source URL: cfdownload.adobe.com Language: English - Date: 2015-03-10 09:45:02** Adobe software ColdFusion Web development software Pointer Struct Software bug Null C Computing Computer programming Software engineering
510	[removed]Software Engineering Concepts Prof. Nancy Leveson Fall 2005 http://sunnyday.mit.edu[removed] Add to Reading List Source URL: sunnyday.mit.edu Language: English - Date: 2012-04-10 10:05:08 Data Information Nancy Leveson Leveson Capers Copyright Source lines of code Year of birth missing Software bugs Software engineering

UPDATE